More from this Author

Formal Techniques for Distributed Objects, Components, and Systems

by Erika Ábrahám (Editor), Catuscia Palamidessi (Editor)

Integrated Formal Methods

by Erika Ábrahám (Editor), Marieke Huisman (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Erika Ábrahám (Editor), Klaus Havelund (Editor)

Formal Techniques for Distributed Objects, Components, and Systems

by Erika Ábrahám (Editor), Catuscia Palamidessi (Editor), Erika Ábrahám (Editor)

Theory and Practice of Formal Methods

by Erika Ábrahám (Editor), Marcello Bonsangue (Editor), Einar Broch Johnsen (Editor)

Integrated Formal Methods

by Erika Ábrahám (Editor), Marieke Huisman (Editor)